#! /bin/bash

#
# Check Linux 2.6.27 under Xen X86_64 translation without explicit
# version, using page table content alone; get the page table address
# from CR3 (so phys_base can be unspecified).
#

opts=(
    arch=x86_64
    ostype=linux
    xen_xlat=true
)

. "$srcdir"/xlat-os-common
